1,797 research outputs found
Efficient Model Checking of Hardware Using Conditioned Slicing
AbstractIn this work, we present an abstraction based property verification technique for hardware using conditioned slicing. We handle safety property specifications of the form G(antecedent⇒consequent). We use the antecedent of the properties to create our abstractions, Antecedent Conditioned Slices. We extend conditioned slicing to Hardware Description Languages (HDLs). We provide a theoretical foundation for our conditioned slicing based verification technique. We also present experimental results on the Verilog RTL implementation of the USB 2.0. We demonstrate very high performance gains achieved by our technique when compared to static program slicing, using state-of-the-art model checkers
Average Interconnection Length and Interconnection Distribution for Rectangular Arrays
Coordinated Science Laboratory was formerly known as Control Systems LaboratoryJoint Services Electronics Program / N00014-84-C-014
Jitter decomposition in ring oscillators
Abstract — It is important to separate random jitter from de-terministic jitter to quantify their contributions to the total jit-ter. This paper identifies the limitations of the existing method-ologies for jitter decomposition, and develops a new and efficient approach using time lag correlation functions to decompose dif-ferent jitter components. The theory of the approach is developed and it is applied to a ring oscillator simulated in a 0.6-um AMI CMOS process. Results show good agreement between the theory and hspice simulation. I
On the C-Testability of Generalized Counters
Coordinated Science Laboratory was formerly known as Control Systems LaboratoryGeneral Electric CompanySemiconductor Research Corporation / 84-06-049-4 and SRC RSCH 84-06-04
Determination of the phase of an electromagnetic field via incoherent detection of fluorescence
We show that the phase of a field can be determined by incoherent detection
of the population of one state of a two-level system if the Rabi frequency is
comparable to the Bohr frequency so that the rotating wave approximation is
inappropriate. This implies that a process employing the measurement of
population is not a square-law detector in this limit. We discuss how the
sensitivity of the degree of excitation to the phase of the field may pose
severe constraints on precise rotations of quantum bits involving low-frequency
transitions. We present a scheme for observing this effect in an atomic beam,
despite the spread in the interaction time.Comment: 4 pages, 2 fig
Analysis of On-Chip Clock Distribution Systems in High Speed Systems
Coordinated Science Laboratory was formerly known as Control Systems LaboratoryNational Science Foundation / NSF CDR 85-22666IBM Fellowshi
Performance Analysis of Numerical Problems on a Loosely Coupled System
Coordinated Science Laboratory was formerly known as Control Systems LaboratorySemiconductor Research Corporation / 86-12-109Texas Instruments, Inc
`Zwicky's Nonet': a compact merging ensemble of nine galaxies and 4C 35.06, a peculiar radio galaxy with dancing radio jets
We report the results of our radio, optical and infra-red studies of a
peculiar radio source 4C~35.06, an extended radio-loud AGN at the center of
galaxy cluster Abell 407 (). The central region of this cluster hosts
a remarkably tight ensemble of nine galaxies, the spectra of which resemble
those of passive red ellipticals, embedded within a diffuse stellar halo of
1~arcmin size. This system (named the `Zwicky's Nonet') provides unique
and compelling evidence for a multiple-nucleus cD galaxy precursor.
Multifrequency radio observations of 4C~35.06 with the Giant Meterwave Radio
Telescope (GMRT) at 610, 235 and 150 MHz reveal a system of 400~kpc scale
helically twisted and kinked radio jets and outer diffuse lobes. The outer
extremities of jets contain extremely steep spectrum (spectral index -1.7 to
-2.5) relic/fossil radio plasma with a spectral age of a few yr. Such ultra-steep spectrum relic radio lobes without definitive
hot-spots are rare, and they provide an opportunity to understand the
life-cycle of relativistic jets and physics of black hole mergers in dense
environments. We interpret our observations of this radio source in the context
of the growth of its central black hole, triggering of its AGN activity and jet
precession, all possibly caused by galaxy mergers in this dense galactic
system. A slow conical precession of the jet axis due to gravitational
perturbation between interacting black holes is invoked to explain the unusual
jet morphology.Comment: Published in MNRAS | No. of pages 12, 10 figures and 4 tables.
Comments are welcom
- …